#ifndef _demo_dco_h
#define _demo_dco_h

#include <cc430x613x.h>

typedef enum DCOConfig_e {
  DCO_2MHz_RSEL2,
  DCO_Default = DCO_2MHz_RSEL2,
  DCO_4MHz_RSEL3,
  DCO_8MHz_RSEL3,
  DCO_8MHz_RSEL4,
  DCO_16MHz_RSEL4,
  DCO_16MHz_RSEL5,
  DCO_32MHz_RSEL5,
  DCO_32MHz_RSEL6
} DCOConfig_e;

void
configureDCO (int dco_mhz);

#endif // _demo_dco_h
